中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.     

神经网络控制在综合火力／飞行系统中的应用

提出了两种基于模糊控制的神经网络控制器的设计方案，并将这两种控制器应用于综合火力／飞行系统的耦合控制。两种方法的主要差别在于获取样本的方式不同。方案１是通过对模糊控制方法得到的响应曲线采样获取样本，由Ｂａｃｋ－Ｐｒｏｐａｇａｔｉｏｎ学习算法训练神经网络，得到一组固定权值。神经网络控制器采用这组权值以“联想记忆”的方式工作。方案２则从用模糊控制算法得到的控制查询表中获取样本。因为模糊控制查询表比较大，采样时依据该表构成的相平面图的特点，对采样点数进行了压缩，使所设计的神经网络的规模可以接受，其余的设计步骤与方案１基本相同。仿真结果表明，采用这两种神经网络控制器的控制系统都具有良好控制性能     

空天飞机的边界层转捩

本文概述了边界层转捩对空天飞机性能的影响。在介绍确定边界层转捩起始点的线性稳定性理论和简单关联公式之后，又从噪声影响、头部钝头影响和钝锥飞行试验结果等几方面，讨论了线性稳定性理论的应用。接着介绍了采用转捩函数来确定转捩区的方法。从飞行试验、理论计算和风洞试验等三方面，探讨了进一步研究高超声速边界层转捩的途径。重点介绍了ＮＡＳＡＬａｎｇｌｅｙ研究中心的超声速、高超声速静风洞技术的发展。最后，对今后空天飞机边界层转捩的研究工作提出了建议。     

有色噪声补偿下降阶系统状态的最优估计

在大型空间结构的控制系统设计中,降阶系统的状态估计是非常重要的环节,它直接关系到控制器的性能。针对B.Friedland的工作,本文提出了有色噪声补偿模型,在恒等变换下显式地消去了有色噪声项,利用正交投影定理仅对感兴趣的状态分量导出了无偏、最小方差估计。这组递推估计式与采用增广状态方法相比,不仅在处理容量、计算效率上有很大改进,而且是标准Kalman滤波方程的推广。注意到原系统与降阶系统之间的内在联系,本文采用随机系统分析方法,给出了在高斯、马尔可夫假设下,有色噪声模型特征参数的在线识别技术。数字仿真表明,对偏差补偿起主要作用的是有色噪声补偿模型中的驱动白噪声项,这是对B.Friedland工作的发展。     

有限接地板对圆形微带天线辐射特性的影响

本文探讨有限接地板及其边缘劈形状对圆形微带天线辐射特性的影响。文中用接地板边缘绕射场与微带天线直接辐射场相对相位合成的方法改善圆形微带天线前向辐射特性的计算精度和计算其后向辐射方向图。微带天线直接辐射场用磁壁围成的腔体模型进行计算;边缘绕射场的计算,在E面采用一致几何绕射理论(UTD),在H面,由于边缘一阶绕射场为0,本文引入斜率绕射计算前向辐射方向图,用等效流法计算E在整个接地板边缘产生的绕射对H面后向辐射方向图的贡献。算例表明,本文的计算结果与可资比较的实测曲线吻合一致,而文[1]E面前向辐射方向图的计算结果与实测曲线比较,最大误差高达5dB,证明本文方法提高了计算精度。本文给出了具有不同尺寸、形状和不同边缘劈角的接地板的圆形微带天线的辐射特性,得出了利用改变有限接地板的几何特性参数来控制微带天线辐射方向图的途径。     

控制面临的任务和问题——美国控制界“高峰会议”观点摘编

美国国家科学基金会与 IEEE 控制系统学会联合召开了一次控制界“高峰会议”。由全美控制界最著名的约50位专家学者参加,对于控制学科当前的发展趋势和面临的问题以及对于控制的每一挑战和其中重要的研究课题都进行了认真讨论,最后形成了《控制面临的任务和问题》这份报告。对于我国控制界的同仁,这无疑是一份可惜鉴的重要材料。     

高速流中壁面剪应力某些测量方法

本文综述了高速流中壁面剪应力的三种测量方法——普雷斯顿管法,底层隔板法和表面热膜法。着重讨论压缩性影响。作者还用 White-christoph 壁面律,导出计及压缩性,压力梯度和壁面热传导影响的普雷斯顿管理论校准公式,又从二维可压缩边界层的能量积分关系导出了表面热膜测量所需的壁面剪应力和压力梯度、压缩性及壁面热传导率的关系式。     

求解最小费用流的复合标号法

本文在求最短路和求最大流标号法的基础上,提出了求解最小费用流的复合标号法。利用这种方法可以在一次标号的过程中找到具有最小费用的增广链。该算法具有简单、易行、迭代次数少,而且易于理解的特点。     

经典模型降阶方法述评

大系统模型降阶是一个活跃的研究领域,比较成熟的经典降阶方法主要有;Pade逼近法,时间矩法,连分式法,Routh逼近法及混合法等。本文综述了这一领域的现有文献,介绍了每种降阶方法的基本思想、优缺点和适用范围,特别指出了一些新的经典模型降阶方法的进展。文中最后提出了模型降阶方法的可能研究方向。     

金属板料的激光冲击变形分析及其实验研究

介绍了激光冲击变形机理和冲击波产生原因,并建立了激光冲击下的板料变形模型,且推导了板料变形量计算公式。根据爆轰波和爆炸气体动力学理论,建立了激光冲击成形中激光-能量转换体-靶材系统爆轰波压力的估算式,并根据冲击波压力估算式估算所需激光脉冲能量,从而探讨了板料变形与激光能量、冲击波压力之间的关系,并进行实验研究。实验结果表明,板料厚度对变形量的影响与变形理论模型的分析基本相同,其变形量随厚度的增加而呈指数曲线减小,其轮廓形状也由小圆锥形逐渐向小球冠状变化。